Church's thesis in constructive mathematics
Computable function
Disjunction and existence properties
Realizability
Church's thesis (constructive mathematics) - Wikipedia